Integrand size = 10, antiderivative size = 192 \[ \int \frac {\arccos (a x)^3}{x^4} \, dx=-\frac {a^2 \arccos (a x)}{x}+\frac {a \sqrt {1-a^2 x^2} \arccos (a x)^2}{2 x^2}-\frac {\arccos (a x)^3}{3 x^3}-i a^3 \arccos (a x)^2 \arctan \left (e^{i \arccos (a x)}\right )+a^3 \text {arctanh}\left (\sqrt {1-a^2 x^2}\right )+i a^3 \arccos (a x) \operatorname {PolyLog}\left (2,-i e^{i \arccos (a x)}\right )-i a^3 \arccos (a x) \operatorname {PolyLog}\left (2,i e^{i \arccos (a x)}\right )-a^3 \operatorname {PolyLog}\left (3,-i e^{i \arccos (a x)}\right )+a^3 \operatorname {PolyLog}\left (3,i e^{i \arccos (a x)}\right ) \]
[Out]
Time = 0.19 (sec) , antiderivative size = 192, normalized size of antiderivative = 1.00, number of steps used = 14, number of rules used = 10, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 1.000, Rules used = {4724, 4790, 4804, 4266, 2611, 2320, 6724, 272, 65, 214} \[ \int \frac {\arccos (a x)^3}{x^4} \, dx=-i a^3 \arccos (a x)^2 \arctan \left (e^{i \arccos (a x)}\right )+i a^3 \arccos (a x) \operatorname {PolyLog}\left (2,-i e^{i \arccos (a x)}\right )-i a^3 \arccos (a x) \operatorname {PolyLog}\left (2,i e^{i \arccos (a x)}\right )-a^3 \operatorname {PolyLog}\left (3,-i e^{i \arccos (a x)}\right )+a^3 \operatorname {PolyLog}\left (3,i e^{i \arccos (a x)}\right )+\frac {a \sqrt {1-a^2 x^2} \arccos (a x)^2}{2 x^2}-\frac {a^2 \arccos (a x)}{x}+a^3 \text {arctanh}\left (\sqrt {1-a^2 x^2}\right )-\frac {\arccos (a x)^3}{3 x^3} \]
[In]
[Out]
Rule 65
Rule 214
Rule 272
Rule 2320
Rule 2611
Rule 4266
Rule 4724
Rule 4790
Rule 4804
Rule 6724
Rubi steps \begin{align*} \text {integral}& = -\frac {\arccos (a x)^3}{3 x^3}-a \int \frac {\arccos (a x)^2}{x^3 \sqrt {1-a^2 x^2}} \, dx \\ & = \frac {a \sqrt {1-a^2 x^2} \arccos (a x)^2}{2 x^2}-\frac {\arccos (a x)^3}{3 x^3}+a^2 \int \frac {\arccos (a x)}{x^2} \, dx-\frac {1}{2} a^3 \int \frac {\arccos (a x)^2}{x \sqrt {1-a^2 x^2}} \, dx \\ & = -\frac {a^2 \arccos (a x)}{x}+\frac {a \sqrt {1-a^2 x^2} \arccos (a x)^2}{2 x^2}-\frac {\arccos (a x)^3}{3 x^3}+\frac {1}{2} a^3 \text {Subst}\left (\int x^2 \sec (x) \, dx,x,\arccos (a x)\right )-a^3 \int \frac {1}{x \sqrt {1-a^2 x^2}} \, dx \\ & = -\frac {a^2 \arccos (a x)}{x}+\frac {a \sqrt {1-a^2 x^2} \arccos (a x)^2}{2 x^2}-\frac {\arccos (a x)^3}{3 x^3}-i a^3 \arccos (a x)^2 \arctan \left (e^{i \arccos (a x)}\right )-\frac {1}{2} a^3 \text {Subst}\left (\int \frac {1}{x \sqrt {1-a^2 x}} \, dx,x,x^2\right )-a^3 \text {Subst}\left (\int x \log \left (1-i e^{i x}\right ) \, dx,x,\arccos (a x)\right )+a^3 \text {Subst}\left (\int x \log \left (1+i e^{i x}\right ) \, dx,x,\arccos (a x)\right ) \\ & = -\frac {a^2 \arccos (a x)}{x}+\frac {a \sqrt {1-a^2 x^2} \arccos (a x)^2}{2 x^2}-\frac {\arccos (a x)^3}{3 x^3}-i a^3 \arccos (a x)^2 \arctan \left (e^{i \arccos (a x)}\right )+i a^3 \arccos (a x) \operatorname {PolyLog}\left (2,-i e^{i \arccos (a x)}\right )-i a^3 \arccos (a x) \operatorname {PolyLog}\left (2,i e^{i \arccos (a x)}\right )+a \text {Subst}\left (\int \frac {1}{\frac {1}{a^2}-\frac {x^2}{a^2}} \, dx,x,\sqrt {1-a^2 x^2}\right )-\left (i a^3\right ) \text {Subst}\left (\int \operatorname {PolyLog}\left (2,-i e^{i x}\right ) \, dx,x,\arccos (a x)\right )+\left (i a^3\right ) \text {Subst}\left (\int \operatorname {PolyLog}\left (2,i e^{i x}\right ) \, dx,x,\arccos (a x)\right ) \\ & = -\frac {a^2 \arccos (a x)}{x}+\frac {a \sqrt {1-a^2 x^2} \arccos (a x)^2}{2 x^2}-\frac {\arccos (a x)^3}{3 x^3}-i a^3 \arccos (a x)^2 \arctan \left (e^{i \arccos (a x)}\right )+a^3 \text {arctanh}\left (\sqrt {1-a^2 x^2}\right )+i a^3 \arccos (a x) \operatorname {PolyLog}\left (2,-i e^{i \arccos (a x)}\right )-i a^3 \arccos (a x) \operatorname {PolyLog}\left (2,i e^{i \arccos (a x)}\right )-a^3 \text {Subst}\left (\int \frac {\operatorname {PolyLog}(2,-i x)}{x} \, dx,x,e^{i \arccos (a x)}\right )+a^3 \text {Subst}\left (\int \frac {\operatorname {PolyLog}(2,i x)}{x} \, dx,x,e^{i \arccos (a x)}\right ) \\ & = -\frac {a^2 \arccos (a x)}{x}+\frac {a \sqrt {1-a^2 x^2} \arccos (a x)^2}{2 x^2}-\frac {\arccos (a x)^3}{3 x^3}-i a^3 \arccos (a x)^2 \arctan \left (e^{i \arccos (a x)}\right )+a^3 \text {arctanh}\left (\sqrt {1-a^2 x^2}\right )+i a^3 \arccos (a x) \operatorname {PolyLog}\left (2,-i e^{i \arccos (a x)}\right )-i a^3 \arccos (a x) \operatorname {PolyLog}\left (2,i e^{i \arccos (a x)}\right )-a^3 \operatorname {PolyLog}\left (3,-i e^{i \arccos (a x)}\right )+a^3 \operatorname {PolyLog}\left (3,i e^{i \arccos (a x)}\right ) \\ \end{align*}
Time = 0.61 (sec) , antiderivative size = 165, normalized size of antiderivative = 0.86 \[ \int \frac {\arccos (a x)^3}{x^4} \, dx=a^3 \left (-i \arccos (a x)^2 \arctan \left (e^{i \arccos (a x)}\right )+\text {arctanh}\left (\sqrt {1-a^2 x^2}\right )+i \arccos (a x) \operatorname {PolyLog}\left (2,-i e^{i \arccos (a x)}\right )-i \arccos (a x) \operatorname {PolyLog}\left (2,i e^{i \arccos (a x)}\right )-\operatorname {PolyLog}\left (3,-i e^{i \arccos (a x)}\right )+\operatorname {PolyLog}\left (3,i e^{i \arccos (a x)}\right )\right )-\frac {\arccos (a x) \left (12 a^2 x^2+4 \arccos (a x)^2-3 \arccos (a x) \sin (2 \arccos (a x))\right )}{12 x^3} \]
[In]
[Out]
Time = 1.16 (sec) , antiderivative size = 256, normalized size of antiderivative = 1.33
method | result | size |
derivativedivides | \(a^{3} \left (-\frac {\arccos \left (a x \right ) \left (-3 \sqrt {-a^{2} x^{2}+1}\, \arccos \left (a x \right ) a x +2 \arccos \left (a x \right )^{2}+6 a^{2} x^{2}\right )}{6 a^{3} x^{3}}-\frac {\arccos \left (a x \right )^{2} \ln \left (1+i \left (i \sqrt {-a^{2} x^{2}+1}+a x \right )\right )}{2}+i \arccos \left (a x \right ) \operatorname {polylog}\left (2, -i \left (i \sqrt {-a^{2} x^{2}+1}+a x \right )\right )-\operatorname {polylog}\left (3, -i \left (i \sqrt {-a^{2} x^{2}+1}+a x \right )\right )+\frac {\arccos \left (a x \right )^{2} \ln \left (1-i \left (i \sqrt {-a^{2} x^{2}+1}+a x \right )\right )}{2}-i \arccos \left (a x \right ) \operatorname {polylog}\left (2, i \left (i \sqrt {-a^{2} x^{2}+1}+a x \right )\right )+\operatorname {polylog}\left (3, i \left (i \sqrt {-a^{2} x^{2}+1}+a x \right )\right )-2 i \arctan \left (i \sqrt {-a^{2} x^{2}+1}+a x \right )\right )\) | \(256\) |
default | \(a^{3} \left (-\frac {\arccos \left (a x \right ) \left (-3 \sqrt {-a^{2} x^{2}+1}\, \arccos \left (a x \right ) a x +2 \arccos \left (a x \right )^{2}+6 a^{2} x^{2}\right )}{6 a^{3} x^{3}}-\frac {\arccos \left (a x \right )^{2} \ln \left (1+i \left (i \sqrt {-a^{2} x^{2}+1}+a x \right )\right )}{2}+i \arccos \left (a x \right ) \operatorname {polylog}\left (2, -i \left (i \sqrt {-a^{2} x^{2}+1}+a x \right )\right )-\operatorname {polylog}\left (3, -i \left (i \sqrt {-a^{2} x^{2}+1}+a x \right )\right )+\frac {\arccos \left (a x \right )^{2} \ln \left (1-i \left (i \sqrt {-a^{2} x^{2}+1}+a x \right )\right )}{2}-i \arccos \left (a x \right ) \operatorname {polylog}\left (2, i \left (i \sqrt {-a^{2} x^{2}+1}+a x \right )\right )+\operatorname {polylog}\left (3, i \left (i \sqrt {-a^{2} x^{2}+1}+a x \right )\right )-2 i \arctan \left (i \sqrt {-a^{2} x^{2}+1}+a x \right )\right )\) | \(256\) |
[In]
[Out]
\[ \int \frac {\arccos (a x)^3}{x^4} \, dx=\int { \frac {\arccos \left (a x\right )^{3}}{x^{4}} \,d x } \]
[In]
[Out]
\[ \int \frac {\arccos (a x)^3}{x^4} \, dx=\int \frac {\operatorname {acos}^{3}{\left (a x \right )}}{x^{4}}\, dx \]
[In]
[Out]
\[ \int \frac {\arccos (a x)^3}{x^4} \, dx=\int { \frac {\arccos \left (a x\right )^{3}}{x^{4}} \,d x } \]
[In]
[Out]
\[ \int \frac {\arccos (a x)^3}{x^4} \, dx=\int { \frac {\arccos \left (a x\right )^{3}}{x^{4}} \,d x } \]
[In]
[Out]
Timed out. \[ \int \frac {\arccos (a x)^3}{x^4} \, dx=\int \frac {{\mathrm {acos}\left (a\,x\right )}^3}{x^4} \,d x \]
[In]
[Out]